引汉济渭工程岭北TBM无扩大洞室刀盘边块更换技术

本文以陕西省引汉济渭工程岭北TBM施工段为依托,为解决TBM在狭小空间内较大部件更换维修困难难题,开展大直径TBM刀盘边块在狭小空间内更换技术研究。通过大量研究,创新性提出新刀盘边块更换方法——基坑法,即通过专用设备配合TBM固有性能,在无扩大洞室工况下完成刀盘边块更换。经岭北TBM刀盘边块更换实例证明,此方法操作简单、适用性高,尤其在狭小空间内更具有优越性,且能节省大量维修时间,有效提高施工工效,可为同类TBM施工提供有益借鉴。     

基于对流效应的寒区路堤块石层临界高度研究

为了研究块石路堤降温效应与块石层高度之间的关系,基于多孔介质自然对流理论和热传导理论引入了表征寒区块石路堤自然对流降温效应的自然对流指数,利用热传导温度分布函数获得了路堤自然对流指数随块石层高度变化的近似公式。分析表明:自然对流指数最小值对应于路堤块石层的最小高度,而其最大值对应于路堤块石层的最大高度。另外介绍了一种利用自然对流指数近似公式估算路堤块石层临界高度的方法,并具体给出了算例,最后进行了数值验算。结果表明:通过自然对流指数确定的临界高度可为寒区工程的路堤设计提供参考。     

用PROLOG语言在第五代计算机中实现三种同步机制

以日本新一代计算机技术研究所研制的个人顺序推理机ＰＳＩ为模型，详细讨论了用ＰＲＯＬＯＧ语言在新一代计算机操作系统中实现忙式等待、信号灯、条件临界区三种同步机制的情况，并进行了评价，软件模拟程序已在微机上调试通过。     

地铁隧道混凝土管片的孔洞和裂缝控制

介绍了地铁隧道衬砌管片制作过程中出现孔洞和裂缝的原因。结合深圳地铁一期工程的实际情况,从材料、设备、工艺几个方面讨论了防止混凝土孔洞裂缝产生的措施:严格控制原材料的质量,重视混凝土的配制过程,改进施工和养护工艺,降低环境因素的影响,对存在的裂缝及时处理等。     

狗同种异体肝段互换异位移植

本文叙述了犬同种异体肝段互换异位移植的手术方法。１４例手术９例成功，说明该方法在技术上是可行的。占全肝重量３０％的供肝段（左外叶下段）植入右肝下间隙，不会造成明显的腹腔占位问题。此处，供肝段位置接近生理状态，手术操作较为方便。供肝段切取的技术要求较高，任何损伤供肝段肝动脉和胆管支的疏忽都将导致供肝段的废用。尽量缩短供肝段的缺血时间亦是保证移植成功的重要因素之一。     

盾构法隧道纵向地震响应特性

采用土—结相互作用的动力有限元法,引入无长度的3自由度弹簧单元模拟纵向螺栓接头,分析行波波长、地基刚度与阻尼对盾构法隧道纵向地震响应的影响。分析结果表明:行波从水平方向输入时有突变弯矩产生,突变弯矩随波长和阻尼的增大而减小,而地基刚度系数对突变弯矩的影响相对较小;行波作用下,产生的接头最大轴力及最大弯矩值均随波长的增大而减小,而地基刚度系数及阻尼系数取值对最大弯矩值的影响较小。因此,建议在实际工程设计计算中要重视输入地震动参数的选择,且取较小的阻尼系数。     

齿轮胶合临界温度的变化新规律

研究了临界温度随油品（添加剂）性能和速度的变化新规律，首先给出了确定临界温度的试验方法和反推公式；根据不同润滑方式的试验结果获得了临界的变化曲线。本将临界温度表示成龆一的二次函数，并发现油品性能高低和有无添加剂对临界温度绝对值大小有很大的影响；最后根据理论计算公式从数学上证明了临界温度存在低点速度的重要特征。     

高压富水砂卵石地层盾构隧道管片选型与应用研究

针对高压富水砂卵石地层盾构隧道管片选型 中遇到的一系列关键技术问题,通过类比分析,确定管 片衬砌形式、限界与隧道净空、管片环宽与分块方式; 通过论证分析与技术经济比较,确定管片厚度、拼装方 式、接缝断面构造形式; 通过理论解析,对管片接缝密 封材料的抗水压能力进行分析,验证双道止水装置的 合理性; 利用数值计算,对全线盾构区间管片配筋进行 计算与分类,并给出相应的配筋方案; 通过单、双层衬 砌的内力比较,发现双层衬砌会导致管片弯矩增大、轴 力减小,管片安全系数降低,说明单层衬砌是合理的。 研究结论可为类似条件下的盾构隧道管片选型提供借 鉴与参考。     

简支组合梁抗火设计简化方法

根据现行《建筑钢结构防火技术规范》（CECS200：2006）中简支组合梁抗火承载力验算方法,提出了简支组合梁抗火设计的临界温度法,给出了临界温度的计算方法。对影响简支组合梁临界温度的参数分析研究发现：在确定的荷载比下简支组合梁的钢梁截面、材料强度、有效宽度等对简支组合梁的临界温度的影响较小,而耐火极限和楼板厚度对简支组合梁临界温度影响较大。给出了一般简支组合梁在不同楼板厚度、不同耐火极限下,不同荷载比对应的临界温度,可供工程设计使用。     

苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。